THE SEMIGROUPS B2 AND B0 ARE INHERENTLY NONFINITELY BASED, AS RESTRICTION SEMIGROUPS
نویسندگان
چکیده
منابع مشابه
The Semigroups B2 and B0 are Inherently nonfinitely Based, as restriction Semigroups
The five-element Brandt semigroup B2 and its four-element subsemigroup B0, obtained by omitting one nonidempotent, have played key roles in the study of varieties of semigroups. Regarded in that fashion, they have long been known to be finitely based. The semigroup B2 carries the natural structure of an inverse semigroup. Regarded as such, in the signature {·,−1 }, it is also finitely based. It...
متن کاملRelatively Inherently Nonfinitely Q-based Semigroups
We prove that every semigroup S whose quasivariety contains a 3-nilpotent semigroup or a semigroup of index more than 2 has no finite basis for its quasi-identities provided that one of the following properties holds: • S is finite; • S has a faithful representation by injective partial maps on a set; • S has a faithful representation by order preserving maps on a chain. As a corollary it is sh...
متن کاملInherently nonfinitely based lattices
We give a general method for constructing lattices L whose equational theories are inherently nonfinitely based. This means that the equational class (that is, the variety) generated by L is locally finite and that L belongs to no locally finite finitely axiomatizable equational class. We also provide an example of a lattice which fails to be inherently nonfinitely based but whose equational th...
متن کاملRestriction and Ehresmann Semigroups
Inverse semigroups form a variety of unary semigroups, that is, semigroups equipped with an additional unary operation, in this case a 7→ a−1. The theory of inverse semigroups is perhaps the best developed within semigroup theory, and relies on two factors: an inverse semigroup S is regular, and has semilattice of idempotents. Three major approaches to the structure of inverse semigroups have e...
متن کاملInherently Nonfinitely Based Solvable Algebras
We prove that an inherently nonfinitely based algebra cannot generate an abelian variety. On the other hand, we show by example that it is possible for an inherently nonfinitely based algebra to generate a strongly solvable variety.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Algebra and Computation
سال: 2013
ISSN: 0218-1967,1793-6500
DOI: 10.1142/s0218196713500264